Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
نویسندگان
چکیده
We address the problem of repairing large-scale biological networks and corresponding yet often discrepant measurements in order to predict unobserved variations. To this end, we propose a range of different operations for altering experimental data and/or a biological network in order to reestablish their mutual consistency—an indispensable prerequisite for automated prediction. For accomplishing repair and prediction, we take advantage of the distinguished modeling and reasoning capacities of Answer Set Programming. We validate our framework by an empirical study on the widely investigated organism Escherichia coli.
منابع مشابه
Reasoning over Biological Networks Using Maximum Satisfiability
Systems biology is with no doubt one of the most compelling fields for a computer scientist. Modelling such systems is per se a major challenge, but the ultimate goal is to reason over those systems. We focus on modelling and reasoning over biological networks using Maximum Satisfiability (MaxSAT). Biological networks are represented by an influence graph whose vertices represent the genes of t...
متن کاملDissertation MODELING BIOLOGICAL SYSTEMS WITH ANSWER SET PROGRAMMING
Biology has made great progress in identifying and measuring the building blocks of life. The availability of high-throughput methods in molecular biology has dramatically accelerated the growth of biological knowledge for various organisms. The advancements in genomic, proteomic and metabolomic technologies allow for constructing complex models of biological systems. An increasing number of bi...
متن کاملRepairing Boolean regulatory networks using Answer Set Programming
Models of biological regulatory and signalling networks are increasingly used to formally describe and understand complex biological processes. Such models are often repaired whenever new observations become available, because the model cannot generate behaviours consistent with the new observations, or because the behaviours are contradictory. This process of model repair is often manual and t...
متن کاملConception et mise en oeuvre d'un outil déclaratif pour l'analyse des réseaux génétiques discrets. (Design and implementation of a declarative tool for analyzing discrete genetic networks)
A growing demand for tools to build and decrypt genetic networks that control cellular processes is felt in biology. We argue that the use of the declarative approach is relevant and applicable to answer questions from biologists about these networks, which are in general partially known. The main idea is to model knowledge about both the structure and the dynamic of a network by a set of const...
متن کاملData Repair of Inconsistent DL-Programs
Nonmonotonic Description Logic (DL) programs support rule-based reasoning on top of Description Logic ontologies, using a well-defined query interface. However, the interaction of the rules and the ontology may cause inconsistency such that no answer set (i.e. model) exists. We thus consider repairing DL-programs, i.e., changing formulas to obtain consistency. Viewing the data part of the ontol...
متن کامل